00200 <RTLST> ::=→10::=<RTPT>[<SEXPR>]→<RTLST> =>((RTPT(COMPILE.SEXPR)).RTLST) 00250 ::=→10::= <RTPT><SEXPR>→<RTLST> =>((RTPT SEXPR) .RTLST) 00300 ::= => NIL 00400 END